Automated Test Data Generation for Testing Programs with Flag Variables Based on SAT
نویسندگان
چکیده
منابع مشابه
Automated Test Data Generation with SAT
We present a novel technique for automatically generating a suite of test inputs to an objectoriented procedure. The suite is guaranteed to kill all mutant procedures produced from a given catalog of mutation operators, so long as those mutants could be detected by some test within userprovided bounds. Our test input generator constructs a mutationparameterized version of the procedure, whos...
متن کاملSAT Based Automated Test Case Generation For MUMCUT Coverage
MUMCUT is a criterion for testing Boolean specifications. The traditional test case generation methods for this problem are based on approximate approaches. The efficiency of these algorithms depend on the designers’ experience on this coverage. In this paper, the authors apply SAT based method to solve this problem. Two SAT solvers, walksat and zChaff, are employed to generate approximate and ...
متن کاملAutomated Test Data Generation Based On Matching Combination and Testing Matrix For Pairwise Testing
Based on the model of matrix, a new algorithm for original pairwise testing data set generation is first proposed, and then, based on which, a sufficient and necessary condition for the minimum pairwise testing data set generation of the testing system T is given, where T has n different parameters, each parameter has n different values, and n is a prime number. Finally, according to the given ...
متن کاملAutomated Software Test Data Generation for Complex Programs
We report on GADGET a new software test generation system that uses combinatorial optimization to obtain condition decision coverage of C C programs The GADGET system is fully automatic and supports all C C language constructs This allows us to generate tests for programs more complex than those previously reported in the literature We address a number of issues that are encountered when automa...
متن کاملAutomated Test Generation for AspectJ Programs
Aspect-oriented software development (AOSD) is a new paradigm that improves separation of concerns in software development. AOSD has gained popularity with the adoption of languages such as AspectJ. Automated test generation for AspectJ programs is important for reducing the manual effort in testing AspectJ programs. This position paper proposes Wrasp, a framework for automatic generation of te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartD
سال: 2009
ISSN: 1598-2866
DOI: 10.3745/kipstd.2009.16-d.3.371